Reactions mixed after D.C. Council votes to pause tipped worker minimum wage