A Simple Probabilistic Extension of Modal Mu-calculus