SafePath: Differentially-Private Publishing of Passenger Trajectories in Transportation Systems