coal mining in kentucky in the 1800s