Nasdaq wants in on prediction markets—and it's going through the SEC to get there.