Mathematical formalism for artificial general intelligence combining Solomonoff induction with sequential decision theory