在岩石、渗水土路基上，隧道内及有砟桥面上，道床厚度不得小于( )。