Exact Bayesian inference for discretely observed diffusions