The Wall Street Journal ends its content sharing tie-up with HT Media’s Mint