International troops arrive in East Timor