Pennsylvanian stratigraphy, petrography, and petroleum geology of Big Hatchet Peak section, Hidalgo County, New Mexico