The board consists of nine directors. How many board members doesn't Dell have?