Ripple Labs files a major appeal against the SEC, challenging key definitions