introduction to sand mining