James Craufurd Gregory, 19th century Scottish physicians, and the link between occupation as a coal miner and lung disease