Vacation time can be paid in a different way, depending on the circumstances