Goal-Driven Reasoning in DatalogMTL with Magic Sets