San Diego reveals name of mini, electric street sweeper