Geometric Control Techniques for Mechanical Systems