Infrastructure development and urban facilities in Lagos, 1861-2000