Sequence Prediction based on Monotone Complexity