UK employment: further extension to workers’ holiday rights