ESA's Hera mission for planetary defence scans DART’s impact crater on binary asteroid Didymos