O direito ao horário especial praticado por servidor público sob a ótica do princípio da eficiência