Parametrization of rational maps on a variety of general type, and the finiteness theorem