python input function for integer