UK’s Raspberry Pi posts record first half on strong industrial demand