Geometric Proportioning in Sixteenth-Century Fortifications: The Design Proposals of Italian Military Engineer Giovanni Battista Antonelli