Intelligence and Unambitiousness Using Algorithmic Information Theory