4 terrorists killed, policeman injured in gun battle in Jammu’s Nagrota