Text this: The use of civilian-type GPS receivers by the military and their vulnerability to jamming