Mining: the technical part