Formal and informal institutions in the labor market, with applications to the construction sector in Egypt