Synthetic Minority Oversampling Technique Enhanced Machine Learning Models for Energy Theft Detection