Including work on a holiday in overtime calculation