Short introduction to Python 'with' statement