Working time in the UK – developments and debates