Major developments of research on salt tectonics in oil-gas-bearing basins