Effective field theory for radiative corrections to charged-current processes I: Vector coupling