A case study in Sequential Pattern Mining for IT-Operational Risk