PYTHON : How to get the filename without the extension from a path in Python?