Lower and upper bound theorems for masonry arches as rigid systems with unilateral contacts