Gas explosion at restaurant kills 9 in China