Ask HN: What are the leading software companies in the oil and gas industry?