An Expressive Completeness Theorem for Coalgebraic Modal Mu-Calculi