BUDGET DAY: Treasury CS John Mbadi says government to roll out electronic procurement system in July; 400 suppliers and national and county staff trained.