梯形中位线定理的具体内容?梯形有哪些性质?