Mass spectrometry reveals the chemistry of formaldehyde cross-linking in structured proteins