first bad version leetcode python