Initiation of gas explosions by heat generated during single impacts between solid bodies Eckhoff R K · Pedersen G H Michelsen institute 1986-12