Zaslat SMS: Diagenetic pathways linked to labile Mg-clays in lacustrine carbonate reservoirs: a model for the origin of secondary porosity in the Cretaceous pre-salt Barra Velha Formation, offshore Brazil