Neural network-based distributed adaptive attitude synchronization control of spacecraft formation under modified fast terminal sliding mode