Data Mining with Shapelets for Predicting Valve Failures in Gas Compressors