Gaussian Measures Conditioned on Nonlinear Observations: Consistency, MAP Estimators, and Simulation