Accurate and Efficient Trajectory-based Contact Tracing with Secure Computation and Geo-Indistinguishability