Ball Aerospace uses STK to provide key risk reduction for NASA's Kepler Mission