Single-cell mutation identification via phylogenetic inference