Mix Proportion Optimization of Cemented Backfill Material Containing Clay-Bearing Crushed Stone for a Tailings-Free Bauxite Mine | Synapse