Should restaurant workers be paid state minimum wage, rather than receive a lower wage and tips?