small corrections in main text, md version added