Simulation-Based Simplification of omega-Automata