Iran begins exporting gas to Iraq