Pareto frontier visualization in multi-criteria search for efficient therapy strategies: HIV infection example