Machine Learning and Linear Programming Models for Targeting Brucite-Bearing Bearing Serpentinite and Kimberlite as Feedstock for CO2 Sequestration at Nickel and Diamond Mines