After the civil war, a large number of people came to texas. Many of these new settlers became farmers. Texas became the nation’s leading producer of what crop?.