How many times a team lost the world cup final even having the leading run scorer of the tournament in their team?