A complete collection of possible peptides upon digesting the human proteome with different enzymes