Economic and Mathematical Model of Actual Mining Ore Lasting and Information System for Management of Mining Work According to the Criterion of Achieving Their Economic Efficiency | IEEE Conference Publication | IEEE Xplore