Mine Safety: A Modern Approach (Springer Series in