RGM Capital Trims Exposure to Cascade Microtech