A method to characterize formaldehyde cross-linking in proteins by mass spectrometry