How many individuals have been executed by the US federal government since the federal death penalty was reinstated in 1988 (and subsequently expanded in 1994)?