Heavy Resonances in the Electroweak Effective Lagrangian