NovoCRF: Globally Normalized De Novo Peptide Sequencing on a Prefix-Mass Lattice · Bharat Hunt