Tesla Robotaxi Fleet in Texas Lags Waymo as Registration Data Shows Small Scale