Kinematic Analysis and Design of Kinematically Redundant Parallel Mechanisms