Text this: Satellite attitude tracking control using Lyapunov control theory