Introduction to GUI programming in Python