20180202 world.us: Texas to execute man who murdered daughters after court denies appeal