US government executes man convicted of killing Texas teen