Releasing a Series of Lectures on Rock Failure Behavior and Control in Deep Mining by ISRM—Deep Mining Commission