Final version of tech report.