Playing Micro:bit built in tunes with Micropython