Washington, D.C., metro workers vote overwhelmingly to authorize strike action