Carbonate formation during lignin pyrolysis under CO2 and its effect on char oxidation