texas coal mining history in pennsylvania