The arch, vault and dome in ancient Sri Lanka