Almost done. Missing convergence results and conclusions.