A concurrency-preserving translation from time Petri nets to networks of timed automata