A polynomial-time relaxation of the Gromov-Hausdorff distance