Man who kidnapped, raped, buried Texas teen alive is executed