Introduction to the techniques of exploration geophysics.