Bản ghi email: Segmentation of PET Images for Computer-Aided Functional Quantification of Tuberculosis in Small Animal Models