Mining royalties at record high