Diagenesis of the microbialites in the Permian–Triassic boundary section at Laolongdong, Chongqing, South China