The Menu-Setting Problem and Subsidized Prices: Drug Formulary Illustration