Manuel de Mier y Terán's recommendations for Texas colonization