depth of mining