how many m of mm washed rock make a ton