A Distributed Framework Design for Formation Control of Under-actuated USVs in the Presence of Environmental Disturbances Using Terminal Sliding Mode Control