A Decidable Spatial Generalization of Metric Interval Temporal Logic