Proteomics of post-translational modifications of mammalian spermatozoa