The global ocean size spectrum from bacteria to whales