冗余自由度与机械舞