Enchantress of Numbers: A Novel of Ada Lovelace