Mining Frequent Sequential Patterns under Differential Privacy