SO(5) theory of high-Tc superconductivity: models and experiments