Children coding using the BBC micro:bit