Added camera-ready stuff: categories, terms, keywords, acknowledgements