This technical report is deprecated. Please refer to the following paper instead: