Власти Петербурга направят 15,5 млрд рублей на цифровизацию города к 2025 году