NASA just redirected an asteroid by smashing a spacecraft into it