coal mining inventions 1800s