Senado gasta R$ 3,7 milhões a mais em horas extras