Microbial and diagenetic steps leading to the mineralisation of Great Salt Lake microbialites