coal mining manufacturing in ohio