In lambda calculus, how is a number represented to allow operations like increment and check if zero?