how many m3 of 40mm washed rock make a ton