已知一渐开线标准直齿圆柱齿轮，齿数z=25，齿顶高系数ha*=1，顶圆直径da=135mm，则其模数大小应为（）mm。