Transactions for trading used electric vehicle batteries: theoretical underpinning and information systems design principles Article