Executions resumed on January 17, 1977, when Gary Gilmore went before a firing squad in Utah. By what method was Gary Gilmore executed