Omitting Types in O-Minimal Theories