Gate lounge area in the South East Pier Extension at Edinburgh Airport