Moved computational details to an appendix