Arca has developed a proprietary method of trapping carbon dioxide in waste rocks and other mining byproducts