Between 1963 and 1965, there was a "downtown boom" that led to the construction of more than 700 buildings in the city. About how many structures were built in Richmond during the downtown boom?