The branch of economic geology that deals with the applications of geology to mining English: mining geology