Text this: Backfill-strip mining and CO2 mineralization sequestration in coal mine goaves: A synergetic method and its key technologies