IREL mining