Community engagement as a tool to help deliver smart city innovation: a case study of Nottingham, United Kingdom