Occupational Accidents in the Mining Industry—A Short Review