Using phages to control the gut microbiome: a mathematical modeling approach