墙身防潮层中细石混凝土防潮层铺设的细石混凝土的厚度为（）。