How To Turn User Input Into Integer Python