Stocks resume trading after earlier NYSE tech issue