Convergence Properties of Approximate Bayesian Computation