Design a real-time ride-matching system that pairs drivers with passengers under low-latency constraints at Didi Labs.