A Formal Measure of Machine Intelligence