Texas doctor infected with Ebola virus while working in Liberia