English books on finding longitude at sea to 1775 : an annotated bibliography