Effective field theory of Stückelberg vector bosons