Gaussian Processes for Bayesian Classification via Hybrid Monte Carlo