Bayesian inference for discretely observed diffusion processes