size of mexico compared to the size of texas