rock sand industry how much cost