Modificación del horario de trabajo. ¿Cómo se tramita?