Measurements of Martian dust devil winds with HiRISE