Martin Casado, Nicira Networks