Introducing the BBC micro:bit