Influence of ceiling type on the structural stability of sandstone grottoes: a discrete element method study | Synapse