A Review of Major Events in Mining Technology and Equipment in 2017