Players' work time (A history of the British Musicians' Union, 1893-2013)