Robust and Adaptive Nonlinear Attitude Control of a Spacacraft: A Comparison of Backstepping-based Designs