Analytic solution and stationary phase approximation for the Bayesian lasso and elastic net