Path Checking for MTL and TPTL over Data Words (Logical Methods in Computer Science, 2017)