Supermicro announces world's first TPCx-HCI benchmark result