gas migration