Microsoft will demolish its campus to build a small city