how much does a ton of pit run gravel