Commentary: Is Bastrop, Texas, Elon Musk's next big project?