NASA's DART program changed an asteroid's orbit