Regulating Prison Admissions by Quota: A Descriptive Account of the Texas Allocation Formula