The mechanism that uses ATP energy to pump ions against an electrochemical gradient via transmembrane protein channels is known as ___________.