Beam optical design of in-flight fragment separator for high-power heavy ion beam