https://jacobbarlow.com/2014/06/17/coal-mining-then-and-now/