Domain Decomposition with Local Mesh Refinement