NASA will soon release the results of its DART mission to find out whether crashing a probe into a space rock can deflect it. Here’s how they'll do the math.