Biological functions and large-scale profiling of protein glycosylation in human semen.