how much gold is in one ton of mined rock