Constrained ant colony system and its application in process optimization of butene alkylation