Structural insights into the functional cycle of the ATPase module of the 26S proteasome