Multi-robot Rigid Formation Navigation via Synchronous Motion and Discrete-time Communication-Control Optimization