A Test of Policy Makers’ Formal and Lay Theories Regarding Health Care Prices