Convergence of manifolds with boundary