gross profit margins in mining equipment industry