Fault-tolerant model predictive sliding mode control for trajectory replanning of multi-UAV formation flight