Geophysics for archaeology: methodologies and case histories