Globally Optimal Tumor Segmentation in PET-CT Images: A Graph-Based Co-segmentation Method