Tipping has become a normal part of our dining-out experience. But is that about to change?