From μ-Calculus to Alternating Tree Automata Using Parity Games