Modeling Air Quality via Machine Learning and IoT Technologies