Mathematical modelling of cemented tailings backfill: a review