Tesla-Robotaxi-Dienst wird von Texas nach Miami erweitert.