Public housing as a share of all residential building activity