Almost final version of technical report.