Should restaurant owners be entitled to a percentage of their servers' tips?