Formalizing informal homes, a bad idea: The credibility thesis applied to China’s “extra-legal” housing