Convergence analysis of inexact two-grid methods: A theoretical framework