How large is the Internet?