Prebiotics in infant formula