An expressive completeness theorem for coalgebraic modal mu-calculi (Logical Methods in Computer Science, 2017)