Optimal change point detection in Gaussian processes