how is an eui-64 format interface id create from a 48-bit mac address by prefixing the mac address with 0xffee