World Community Grid by the numbers