A Framework for Mining Sequential Patterns from Spatio-Temporal Event Data Sets