What is the Glock 17's overall height (in inches) with the 17+1-round 9mm magazine inserted, and what is that magazine's overall length?