Techtronic Industries profit jumps 17.5% as margins hit record