A detailed explanation of how airplanes avoid each other