¿Qué son las vacaciones y como se pagan?