python how to check if user input is a number