Paid Time Off: Employees' Happiness and Their Utilization