San Diego mandates vaccine for city workers