Sen. Tony Williams making his mayoral run official