A characterization of Hilbert C*-modules as Banach modules with involution