A Distributed and Real-time Machine Learning Framework for Smart Meter Big Data