On the Modal mu-calculus over finite symmetric graphs