EU leaders agree to Russian oil ban after compromise with Hungary