Application of dynamic programming to the correlation of paleoclimate records | Synapse