Text this: On the equivalence of game and denotational semantics for the probabilistic mu-calculus