Terrorism convictions justify firing-squad executions in federal cases