Machine learning and linear programming models for targeting brucite-bearing serpentinite and kimberlite as feedstock for CO₂ sequestration at nickel and diamond mines