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