NASA's DART Mission to an Asteroid