什么是要式合同,建设工程合同是要式合同吗