Theory of High Temperature Superconductivity