U.S. to resume using federal death penalty