sand produced from crushed rock ends