¿Cómo se paga un día festivo laborado proporcionalmente?