Dynamics of translation termination and ribosome recycling