US puts Iraq's six-month national budget for 2003 at $3 billion