python sort dictionary keys as integers