Gas in volcanic lakes: from dissolved gases to lake gas plumes