100 cubic meters of machine-made sand is equal to how much ton