What to know about activist Mahmoud Khalil and his release from immigration detention