With all the bank holidays in the UK now all done until Christmas, when should you book off your remaining days of annual leave?