Leram - Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability