Sensor Distribution Design of Travel Time Tomography in Explosion.