The IDF in 2020: A ‘people’s army’ alongside a professional army