Omega-Regular Decision Processes