Bayesian Auction Design and Approximation