Washington, DC restaurant workers stage walkout and banner unfurling to demand $15 an hour