Harrison Ruffin Tyler, preserver of Virginia history and grandson of 10th US president, dies at 96