World Bank boosts Sri Lanka health sector funding