Какая численность армии Израиля в 2019 году?