difference between river sand and manufactured sand solution for ore mining