Programming the BBC micro:bit: Getting Started with MicroPython