How do you mine a diamond?