Corrigendum uploaded on 17 Dec2025.