augustine de burkanarh works on mining