Controls on lacustrine carbonate mineralogy and cyclicity: Insights from hydrogeochemical modelling and application to the BVF pre-salt