The electroweak chiral lagrangian for the standard model with a heavy Higgs