EU leaders agree on Russia oil ban but make concessions to Hungary