Global optimization of separation in high-performance liquid chromatography