Boomers and bank holidays: are there any extra days off older Britons would support?