Experimental study of cockpit displays of traffic information for pilot self-spacing in congested airspace