Carbon dioxide sequestration via mineralization: the state of art