Reading integer input from the keyboard