Program Induction, Complexity and Occam's Razor