How do I get the filename without the extension from a path in Python?