Europe to ditch US dollar in payments for Iranian oil – source