High-throughput mass spectrometric discovery of protein post-translational modifications