接触网基础施工在浇灌混凝土前必须用碎石作垫层，其厚度至少为（）mm。