An infinitary variant of Metric Temporal Logic over dense time domains