EDF to sell coal trading business to Jera