Changepoint analysis using Gaussian process regression: a Bayesian statistical model for the identification of lithological strata in geotechnical engineering