Regulating health and safety in the British mining industries, 1800-1914