高松市、デジタル化、スマートシティ