Convergence Analysis of Segmental Refinement Multigrid