Infrastructure development and industrial sector productivity in Sub-Saharan Africa (2023)