Superconducting magnets for the LHC main lattice