Event-triggered predictive control algorithm for multi-AUV formation modeling