area of texas / 7 billion