ZX Spectrum 128K emulated on Raspberry Pi PICO with VGA output