Lasso Methods for Gaussian Instrumental Variables Models