UK air traffic system ’restored’ after computer failure