Tinder has patented swiping and double-opt-in matches (2018)