Finite-temperature field theory