Update: links to camera-ready paper PDFs added