Mapping in geological exploration