San Diego Navy buildings demolished to make room for $1.3B mixed-use development