temperature for cement to sethigh temperature cements