Properties of iterative ensemble smoothers and strategies for conditioning on production data