The IMF gave Sri Lanka a $3 billion lifeline