Raspberry Pi is now a public company