Ice Core Dating using Probabilistic Programming