Model Checking ω-regular Properties for Quantum Markov Chains