China executes a man for murdering a prominent gaming tycoon