How to reduce accidents in mining’s deadliest month