Google to fund purchase of Raspberry Pi devices for UK schoolchildren