Efficiently learning simple timed automata