An introduction to data assimilation