Tesla Launches Its Austin Robo-Taxi Today. Here’s What to Know.