Frequent Sequential Pattern Mining under Differential Privacy