Currency market today: Rupee jumps 13 paise to settle at 83.42 against US dollar