Early detection of volcanic hazard by lidar measurement of carbon dioxide