水泥生产过程中，当用石膏作矿化剂时，其合适掺入量为（）。