Structural Safety Control of Masonry Buildings: Non-Linear Static Seismic Analysis with a Non-Linear Shear Strength Criterion