Edinburgh International Festival’s funding to increase to £4.25m from next year