how much does a ton of pool sand cost