Non-linear modeling of masonry churches through a discrete macro-element approach