Formation of fluorite in sedimentary basins