An Attribute Reduction Method Based on Rough Set and SVM and with Application in Oil-Gas Prediction