合同法规定的有名合同种类有哪些