Addressing Machines as models of lambda-calculus