Cloud-Based Time-Varying Formation Predictive Control of Multi-Agent Systems With Random Communication Constraints and Quantized Signals