This is the authors' version of the paper. The final publication is available at Springer via DOI: 10.1007/978-3-642-32524-3_10