NASA's DART mission a success