What role, if any, did carbonate mineral formation have in sequestering carbon dioxide from the atmosphere?