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