Designing Gravitational Theories via Symmetric Product Orbifolds