wv coal mining history in philipsburg