Hencky bar-chain model for optimal circular arches against buckling