branch of proteomics that studies proteins that contain carbohydrates as a result of post-translational modification