San Jose passes mandatory $3-an-hour pay raise for grocery workers