Other than the basic G-17, have any other variants of the Glock family seen military service (with either US or foreign militaries)?