Substrate-engaged 26S proteasome structures reveal mechanisms for ATP-hydrolysis–driven translocation