President Ruto: Funds from sale of Kenya Pipeline Company will be used for infrastructure dev't