Metrization of the Gromov-Hausdorff (-Prokhorov) topology for boundedly-compact metric spaces