Tame Topology and O-minimal Structures