gross mining profit