myricom 10 gigabit ethernet