Discovering Rock Mechanical Knowledge Using Auto-extracting Methods