Updated paper, body (sec 4-7) largely completed.