How to use external libraries in Python