Simultaneous SNV calling and Phylogenetic Inference for Single-cell Sequencing Data