Mohit Joshi quits as Infosys prez, to join Tech Mahindra as CEO