a vacation from work by an employee with pay granted