House prices in euro area up 9.3% in Q2