¿Cuánto ganarán el Presidente de la República y otros funcionarios?