The statistical finite element method (statFEM) for coherent synthesis of observation data and model predictions