What percentage of marine life growth happened during the Permian–Triassic era