Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics,