An object-oriented Python model of a public library