An MPC-based Optimal Motion Control Framework for Pendulum-driven Spherical Robots