Did colonization matter for growth? An empirical exploration into the historical causes of Africa's underdevelopment