Statistics for Sequence stratigraphy and geomodeling of the upper Pennsylvanian Canyon and Cisco Formations in SACROC Field, West Texas : insights into the Late Paleozoic glaciation