Neural network approximation-based backstepping sliding mode control for spacecraft with input saturation and dynamics uncertainty. (February 2022)