Maximizing a Submodular Set Function Subject to a Matroid Constraint (Extended Abstract)