By 2012, how much did the ECB spend in covering bad debt