Python: from import as