How much is the restaurant industry worth?