Describir: Census of mining industries.