Aside from Gary Gilmore, how many people were executed in the United States between January 17, 1977 and 1984