A two-phase algorithm for mining sequential patterns with differential privacy | Synapse