Flight services at Edinburgh Airport resumed after a brief disruption caused by computer problems in the air traffic control system in Scotland.