Elon Musk thinks AI is a bigger threat than North Korea