A utility-maximizing varient of AIXI