NovoHCD: de novo peptide sequencing from HCD spectra