stone variety used for sand making