Theory of high-energy heavy-ion collisions