are there checkpoints leaving colorado to texas