Public swimming pools in Catalonia must allow women to go topless