Statistics for Carboniferous stratigraphy of the Leonard Ranch area, San Saba County, Texas