Gloo, with former Intel CEO Gelsinger as tech head, seeks nearly $900 million valuation in IPO