GPflow: A Gaussian process library using TensorFlow