Redefining CpG islands using hidden Markov models | Synapse