Machine Learning in Electrofacies Classification and Subsurface Lithology Interpretation: A Rough Set Theory Approach