HOW IS AN eui 64 FORMAT INTERFACE ID CREATED FROM A 48 BIT