Autonomous gas detection and mapping with unmanned aerial vehicles