屋面刚性防水层的细石混凝土厚度为()mm。