techniques used for mineral exploration