how much deeper would the ocean be without sponges