对于用土的抗剪强度指标计算地基承载力的方法，在《建筑地基基础设计规范》(GB 50007—2002)、《港口工程地基规范》(JTJ 250—98)和《公路桥涵地基基础设计规范》(JTJ 024—85)三本规范提及的有下列哪几种公式?