Mars Crater Production Function Based on Mapped Crater Populations