The Edinburgh International Festival has announced record income for this year's event, which has closed in Edinburgh with box office income of £2.83 million, a rise of 9% on 2011.