Distributed Formation Control for a Multirobotic Fish System With Model-Based Event-Triggered Communication Mechanism