17-schots halfautomatisch centraalvuurpistool Glock 17, Nederlands model kaliber 9 x19, gebruikt tijdens de minusma-missie in Mali