What became the border of Texas according to the Compromise of 1850