What is the highest batting average a player can have?