Discrete-time quantum dynamics