The long and short of public holidays