Principles of Solomonoff Induction and AIXI