Techtronic Industries profit rises 17.5% as margins hit record 42.9%