Corrigendum uploaded on December 29,2025.