US government is building a 5,000-person immigrant detention camp in west Texas