National Instant Criminal Background Check System (NICS) guidance for Federal Firearms Licensees on where to locate alien numbers for ATF form 4473, box 13