The KRISP 94 lithospheric investigation of southern Kenya — the experiments and their main results