Active Learning of Mealy Machines with Timers