Camera-ready version submitted.