Plate tectonic regulation of global marine animal diversity