Proceedings of the Steklov Institute of Mathematics; 277(1):144-159 (July 2012)