SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems