The weak lambda-calculus as a reasonable machine