Improving the efficiency of public sector health services in developing countries: Bureaucratic versus market approaches