Efficient Bayesian Computation by Proximal Markov Chain Monte Carlo