The fumarolic CO2 output from Pico do Fogo volcano (Cape Verde)