Edinburgh Airport shut down by IT issue just as holiday travel season gets under way