Data assimilation for volcanic ash plumes using a satellite observational operator