Text this: A New Reform of Mining Production and Management Modes under Industry 4.0