Partial Hausdorff metric and Nadler’s fixed point theorem on partial metric spaces