铅垂面的垂线是什么线