Coding platform GitLab aims for nearly $9 billion valuation in U.S. IPO