用来检验是否竖直的仪器叫做重垂线,它是利用重力的什么性质制成的?