Renishaw profit jumps 36% as semiconductor demand lifts margins