coal mining tools 1800 s