Carbonation reactions for mantle lherzolite and harzburgite