Baidu found China’s “ghost cities,” but it is keeping their locations mostly a secret