US carries out first federal execution in nearly two decades