Exeter College and Petroc merger to go ahead in January