Metabolic model predictions enable targeted microbiome manipulation through precision prebiotics