建筑工程施工合同的订立及程序是什么