Rank Axioms Characterize Matroid Independent Sets