Diagenesis of sedimentary sequences