Write a hello world program in Python.