how much is a ton of stone sand