Gravar-mail: Deep Learning for Variational Multimodality Tumor Segmentation in PET/CT