Scalable global state synchronization of discrete-time double integrator multi-agent systems with input saturation via linear protocol (Completed Version).