Wisekey International Holding Ltd.