IDF's 'David's Sling' missile system used to shoot down Gaza rocket barrage