Economy and extravagance in craft culture: the deployment of a grand building code in Chinese construction history