An Optimal Pufferfish Privacy Mechanism for Temporally Correlated Trajectories