Design of Sliding Mode Techniques for a CMG-based Testbed Attitude Control System