Data Mining Techniques in Earthquake Prediction Research