Digital techniques in map and geo-information production: Implication to survey and mapping education in Nigeria?