Candy Crush maker King seeks up to $7.5B valuation in IPO