IOC sets up trading desk to buy crude on real-time basis