Ada Lovelace and Charles Babbage