Mining contrast sequential pattern based on subsequence time distribution variation with discreteness constraints