Comparison and quantitative verification of mapping algorithms for whole-genome bisulfite sequencing.