A brief history of (work) time