Real-time road traffic prediction with spatio-temporal correlations