Recovery of lacustrine ecosystems after the end-Permian mass extinction