Box IPO filing: The key numbers