How burial diagenesis of chalk sediments controls sonic velocity and porosity