¿Qué es la prima vacacional y cuánto corresponde a los mexicanos?