kentucky coal mining history of 1800s in europe