Nonlinear attitude control of spacecraft with strain-actuated solar arrays