How Many Animals Have Gone Extinct