average number of paid holidays per year in us