Total value of US tech IPOs