Designing Smart Public Infrastructure for Contestability