Thomas Oliver — physician and authority on industrial hygiene (1853–1942)