final camera-ready version, as submitted