Singapore Exchange : Profits up 9% as China boosts derivatives