Neural Networks and Gaussian Processes: an integrated approach to spatio-temporal modelling for air quality