coal mining history in pennsylvania