the average number of vacation days given annually to american workers