Understanding the Logic Behind Mines Predictor Algorithms