S Africa GDP: up on mining, for now