ky coal mining history in philipsburg