iProphet: A new tool for combining PeptideProphet results from multiple search engines improves spectrum validation