Sizing the Internet