Forecasting Etna eruptions by real-time observation of volcanic gas composition