An extended version of our paper with the appendix is available here.