Thermal remote sensing for global volcano monitoring: experiences from the MIROVA system