Avenging shock T20 loss: South Africa trounce Ireland by 139 runs in first ODI