WISeKey divests 51% stake in Arago, a German AI platform company