On the Convergence of Block Time-Point Relaxation Methods for Circuit Simulation