Mobility of Overconstrained Parallel Mechanisms