गलवान घाटी में भारत-चीन सैनिकों में झड़प, भारतीय सेना के 3 जवान शहीद