Should phone-obsessed diners be forced to stop scrolling? Not if restaurants want to stay open