How Personal Rapid Transit Systems Work Today