Corey Johnson becomes 12th federal prisoner executed since last summer