KRX trading system to begin official operation