FTCFB control; spacecraft formation flying; containment errors; external disturbance; finite-time convergence; second-order sliding mode differentiator