A digital elevation model for the African continent