Algorithms for accurate and sensitive interpretation of mass spectra against arbitrarily large peptide search spaces