Google, Microsoft, and Amazon are teaming up with Big Oil to squeeze more oil and gas out of the ground using machine learning technology.