Corrigendum uploaded on October 27, 2023.