Accelerated Over-Relaxation Heavy-Ball Methods with Provable Acceleration and Global Convergence | Synapse