China executes nine for ethnic riots