Corrigendum uploaded on March 12, 2024.