how many cubic feet of crushed rock in a ton