Dynamical mean-field theory