Incremental Miner of Stretchy Time Sequences with Post-Processing