San Diegans behind key part of Mars mission