Are Halma and Nine Men's Morris both strategy board games?