Improving the Efficiency of Interactive Sequential Pattern Mining by Incremental Pattern Discovery