Dynamics of carbonate sediment production by Halimeda: implications for reef carbonate budgets