a holiday is a day where people do not have to work