Addressing Machines as models of lambda-calculus (Logical Methods in Computer Science, 2022)