Servidor exposto a radiação tem direito ao total de horas extras que superem a jornada de 24 horas semanais