[Video] David Whale - programming the BBC micro:bit