replacement of sand in concrete by mining soil