Seattle mayor wants to diversify the city’s tech-dependent economy