US judge orders release of pro-Palestinian activist Mahmoud Khalil