Win odds: An adaptation of the win ratio to include ties