On the decidability and complexity of Metric Temporal Logic over finite words (Logical Methods in Computer Science, 2007)