MrSQM: Fast Time Series Classification with Symbolic Representations and Efficient Sequence Mining