Working Time, Strike, Central government, U.K.