Depositional setting and vertebrate biostratigraphy of the Triassic Dockum Group of Texas