Tesla's Robotaxi project in Austin is much smaller than Musk claims