History and practice of the law of mines and minerals