Dexia bank gets $9.2 billion bailout