高精度地图:自动驾驶的必要非充分条件