The Italian Vetterli Rifle: Development, Variants and History in Service