Submodularity of the Matroid Rank Function