Mercado de piscinas gira R$ 12 bilhões por ano no Brasil