How NASA’s DART mission will stop an asteroid headed for Earth