Former city manager David Elder dies