O que engloba o tipo de indústria da construção civil?