One of the biggest expenses in geothermal power is finding the right spot to dig. Utah-based Zanskar thinks its big data and machine learning platform can help.