Replit raises $400M at a $9B valuation