On Making Porvorim a Smart City