A Distributed Method on Web Log Sequential Pattern Mining