Combining mobile air quality sensor data and machine learning for more fine-grained air quality assessments in urban areas