Successful Kinetic Impact into an Asteroid for Planetary Defence