Exxon brings in Microsoft's cloud platform to fire up oil output in Texas