DART pummels asteroid in first-ever planetary defense test to improve supercomputer modeling