A Mobile, Dynamic, and Privacy-Preserving Matching System for Car and Taxi Pools. (23rd March 2014)