Sampled Semantics of Timed Automata