Sobre la obligatoriedad de utilización de las vacaciones por los funcionarios públicos, su prohibición de compensación en dinero y sus excepciones a esta