Spatial-temporal coverage maximization in vehicle-based mobile crowdsensing for air quality monitoring