Indonesia to take a controlling stake in world’s second-biggest copper mine