What could Apple’s €13 billion in back taxes buy in Ireland?