A non-smooth-contact-dynamics analysis of Brunelleschi’s cupola: an octagonal vault or a circular dome?