UN chief proposes 'global digital compact' to manage artificial intelligence