Dozens dead in gas explosion in barbecue restaurant in northwestern China