How much does a bank holiday cost the UK economy? Assessing the positives and negatives of an extra day off