Winding-up the Irish scheme – which pays pensions linked to salary – will involve the airline making up the €9.7m deficit calculated at December 30