Spatio-temporal Bayesian Learning for Mobile Edge Computing Resource Planning in Smart Cities | Synapse