Funcionalismo público no Brasil custa R$ 750 bilhões, 10,5% do PIB