Non-Linear Dynamics Identification Using Gaussian Process Prior Models Within A Bayesian Context