Effective field theory for vector-like leptons and its collider signals