Planning and Operation of Automated Taxi Systems