Definition methodology for the smart cities model