how much does a ton of lime rock weigh