The Magnitude of Global Marine Species Diversity