Strong-Coupling Theory of High-Temperature Superconductivity