brief history of the nigeria mining industry