Nasdaq halts trading in Nasdaq-listed stocks and options due to a technical issue