Court rules 1st federal execution in 17 years can proceed